翻訳と辞書 |
Brent Hailpern : ウィキペディア英語版 | Brent Hailpern
Brent Hailpern is a computer scientist and manager at IBM Research. His research work focused on programming languages and concurrency, and he is now Director of Computer Science at IBM Research - Almaden in San Jose, California. ==Education== Dr. Hailpern received his B.S. degree, summa cum laude, in Mathematics from the University of Denver (Denver, Colorado) in 1976, and his M.S. and Ph.D. degrees in Computer Science from Stanford University (Stanford, California) in 1978 and 1980 respectively. His thesis was titled, "Verifying Concurrent Processes Using Temporal Logic".
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Brent Hailpern」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|